41. Declarative networking /
پدیدآورنده: Boon Thau Loo, Wenchao Zhou
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer network protocols,Computer networks-- Management,Declarative programming
رده :
QA76
.
615
.
L663
2012
42. First course in algorithms through puzzles /
پدیدآورنده: Ryuhei Uehara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
43. Foundations of software science and computation structures :
پدیدآورنده: FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
44. Functional programming for dummies /
پدیدآورنده: by John Paul Mueller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Functional programming (Computer science), Handbooks, manuals, etc.,Software engineering, Handbooks, manuals, etc.,Functional programming (Computer science),Software engineering.
رده :
QA76
.
62
.
M84
2019
45. Fundamentals of Java programming /
پدیدآورنده: Mitsunori Ogihara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Java (Computer program language),Computer programming-- software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Programming Languages-- Java.,Java (Computer program language),Programming & scripting languages: general.
رده :
QA76
.
73
.
J38
46. Fuzzy Logic and Applications
پدیدآورنده: edited by Vito Di Gesú, Francesco Masulli, Alfredo Petrosino.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer vision.,Database management.,Database management.,Information organization.,Information retrieval.,Information storage and retrieva.,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices.,Image Processing and Computer Vision.,Mathematical Logic and Formal Languages.
47. GWAI-84 :
پدیدآورنده: edited by Joachim Laubsch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
Q334
.
E358
1985
48. Guide to teaching computer science
پدیدآورنده: Orit Hazzan, Tami Lapidot, Noa Ragonis
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computer science, Study and teaching,Active learning
رده :
QA
،
76
.
27
،.
H39
،
2011
49. Handbook for Automatic Computation
پدیدآورنده: by A. A. Grau, U. Hill, H. Langmaack ; edited by F. L. Bauer, A. S. Householder, F. W. J. Olver, H. Rutishauser, K. Samelson, E. Stiefel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.
50. Handbook of Conceptual Modeling :
پدیدآورنده: David W Embley
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Software engineering.
رده :
QA76
.
9
.
C65
D385
2011
51. Higher-Order Perl :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Object-oriented programming (Computer science),Perl (Computer program language),Object-oriented programming (Computer science),Perl (Computer program language)
رده :
QA76
.
73
.
P22
D56
2004eb
52. How to solve it by computer /
پدیدآورنده: by R.G. Dromey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming,Mathematics-- Data processing,Problem solving-- Data processing,Mathématiques-- Informatique,Programmation (Informatique),Résolution de problème-- Informatique
رده :
QA76
.
95
.
D76
1982
53. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
پدیدآورنده: edited by Fevzi Belli, Franz Josef Radermacher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business.,Computer science.,Management science.
رده :
Q334
.
E358
1992
54. Introduction to recursive programming
پدیدآورنده: Manuel Rubio-Sanchez
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Textbooks ، Recursive programming,Textbooks ، Computer programming,Textbooks ، Computer algorithms
رده :
QA
76
.
645
.
R82I5
55. LISP 1.5 programmer's manual
پدیدآورنده: / by John McCarthy ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers),LISP (Computer program language)
56. LabVIEW :
پدیدآورنده: edited by Ian Fairweather and Anne Brumfield.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software -- Development.,COMPUTERS -- Programming Languages -- General.,LabVIEW.
57. Logic, Algebra, and Computation :
پدیدآورنده: edited by Friedrich L. Bauer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
63
E358
1991
58. Logical foundations of computer science :
پدیدآورنده: eds.: Anil Nerode ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
59. Logics of Programs :
پدیدآورنده: edited by Dexter Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
60. Machine Learning:
پدیدآورنده: edited by Pavel B. Brazdil.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer science.
رده :
Q325
.
5
E358
1993
